Lobsters Interview with Matklad
lobste.rs·8h·
Discuss: Lobsters
📦WebAssembly
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·7h·
Discuss: Substack
⚡Performance Engineering
Scheme Basics
courses.cs.washington.edu·10h·
Discuss: Hacker News, Hacker News
✅Formal Verification
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·7h·
Discuss: Hacker News
✅Formal Verification
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Making the Case for One Language Tree Across Monorepos
hackernoon.com·1d
🌐HTMX
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
✅Formal Verification
Monolith vs Microservices: The $1M ML Design Decision
javarevisited.substack.com·11h·
Discuss: r/programming
📡Distributed Systems
A string formatting library in 65 lines of C++
riki.house·2h·
Discuss: Lobsters, Hacker News
🦀Rust
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·3d·
Discuss: r/programming
✅Formal Verification
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Engineering
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·2d·
Discuss: Hacker News
🔍eBPF
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
📦WebAssembly
LLMs Won't Replace Programming Languages
mech-lang.org·16h·
Discuss: Hacker News
📦WebAssembly
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·11h·
Discuss: Hacker News
📦WebAssembly
Rust for Gophers - a short interview
packagemain.tech·10h·
Discuss: r/programming
🦀Rust
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
✅Formal Verification
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·1d·
Discuss: Lobsters, Hacker News
🔌Network Programming
Convergence in Software
valand.dev·9h·
Discuss: Hacker News
📦WebAssembly
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·5h·
Discuss: Hacker News
⚡Performance Engineering